// @target: es5
var x = `\u{abcd}\u{ef12}\u{3456}\u{7890}`;
